More from this Author

Types for Proofs and Programs

by Paul Callaghan (Editor), Zhaohui Luo (Editor), James McKinna (Editor), Robert Pollack (Editor)